分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2．0序列图对模块之间交互行为进行描述．采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为 Promela 模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径．给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试．实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性．     

一种改进的实时嵌入式系统容错优化方法

容错技术中硬件冗余会产生较高的设计和生产成本.针对该问题,提出一种改进的实时嵌入式系统容错优化方法,基于检查点容错技术综合分析系统故障性能、硬实时任务时间约束和软实时任务的效用函数值.以设计的容错模型为基础,计算系统故障概率保证其在故障最大概率值内,给出硬任务截止时间确定可调度性,并应用改进的禁忌搜索算法获得软任务效用函数最佳值,算法有2种简单的邻节点结构,其禁忌准则遵循邻节点方法禁忌,优化效率明显改善.实验结果表明,该方法可进行故障分析等综合分析,并能迅速获得最大效用函数值.     

网络环境下不敏感系统的分布式区域预测控制方法

针对二分图网络结构下的不敏感系统的可控性比较差的问题,本文提出了带有区域控制的分布式模型预测控制方法.该方法首先利用分支定界法对分布式控制系统结构进行最优设计;然后,结合区域控制提高控制系统的动态性能指标;最后,依据回路之间的关联性的强弱选择每个回路的控制方式(精确控制或区域控制).仿真结果显示带有区域控制的分布式预测控制系统的调节时间比没有带区域控制的分布式控制系统明显缩短;同时,通过对回路控制方式的选择增加了精确控制的智能体数量.仿真结果证明了利用分布式区域预测控制方法可以提高系统的容错性,通过对系统的可控性和关联性进行分析,可以在精确控制和区域控制之间寻找到最优组合,从而达到快速精确的控制效果.     

WebKi t内核的嵌入式浏览器磁盘缓存方法

为提高嵌入式浏览器的页面加载速度,研究WebKit网络资源下载的流程,分析 HTTP协议栈中缓存控制原理,提出一种WebKit内核的嵌入式浏览器磁盘缓存方法。设计磁盘缓存快速映射算法,在网络资源的URL与数据之间建立映射关系。为防止磁盘缓存存储空间过载,结合LRU‐K算法和缓存资源的优先级给出磁盘缓存置换算法,提出了磁盘缓存系统架构及其实现方案,在家庭网络环境中进行性能评估。实验结果表明,浏览器加载速度提升了3?19倍,增强了用户体验。     

非确定型离散事件系统双模拟控制的实现

近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的.     

具有多传输通道系统的网络化预测控制

本文研究了一类具有多传输通道网络化系统的控制问题,基于网络化预测控制方法,提出了一种改进型的分布式预测补偿方式,从而更有效地利用反馈数据来提高控制系统的性能.对闭环网络化预测控制系统进行分析,得到其稳定性条件,特别地,在模型精确已知和多传输通道的时延为定常的情况下,该条件将会退化为本地控制的闭环系统稳定性条件.上述结论的好处是网络化预测控制系统中状态观测器和控制器的设计可以参考本地控制.通过球杆系统算例验证本文所提方法的正确性和有效性.     

受未知通信时滞影响的高阶多智能体系统的趋同

本文考虑了极点在闭左半平面的高阶连续多智能体系统的趋同问题.假设网络拓扑为有向图,且个体从邻居收到的信息存在通信时滞,分别得到与时滞无关和与时滞有关的两种趋同条件,这两个条件充分揭示了智能体结构、通信时滞和网络拓扑三者之间的关系.本文的核心方法是利用参数化代数Riccati方程的唯一正定解来设计趋同增益.此外,文中说明了通信时滞在有些情况下可为时变的.最后,数值例子验证了所得理论结果的有效性.     

输入有约束时的飞翼布局无人机姿态控制

针对大展弦比飞翼布局无人机的刚体运动与弹性运动耦合动力学模型,研究了输入有约束时的无人机姿态控制问题,提出了一种采用扩张状态观测器的反步滑模控制方法.首先,采用扩张状态观测器实时估计气动弹性模态和外界未知干扰的影响,并引入跟踪微分器避免了控制律中项数膨胀问题.然后,针对飞翼布局无人机多操纵面的配置和输入约束,给出了基于LMI的在线舵面分配算法.最后,针对指令滤波和输入约束情况下控制指令的滞后问题,设计了辅助补偿器对控制指令进行补偿.根据Lyapunov稳定性理论证明了该控制方法能够保证姿态跟踪误差收敛至有界,仿真表明存在复合干扰和输入约束时该方法具有良好的姿态跟踪性能.     

迭代学习控制在电力系统中的应用进展

根据迭代学习控制基本原理及其特性,归纳迭代学习控制在电力系统中的各种应用,对迭代学习控制的最新进展进行详尽的叙述,讨论迭代学习控制在电力系统中应用存在的问题,并对其发展进行展望.     

Improving the Performance and Energy E?ciency of Phase Change Memory Systems

Phase change memory (PCM) is a promising technology for future memory thanks to its better scalability and lower leakage power than DRAM (dynamic random-access memory). However, adopting PCM as main me...